Transaction logic - PDFSEARCH.IO - Document Search Engine

Transaction logic
Results: 30

#	Item
21	3 Temporal Specialization and Generalization Christian S. Jensen and Richard T. Snodgrass A standard relation is two-dimensional with attributes and tuples as dimensions. A temporal relation contains two additional, ort Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2000-04-03 08:01:55 Transaction processing Data Temporal database Transaction time Relational database Database Modal logic Finitary relation Richard T. Snodgrass Database management systems Database theory Data management
22	WILLEMS LAYOUT[removed]:43 AM Add to Reading List Source URL: www.synopsys.com Language: English Logic design Hardware description languages Hardware verification languages Post-silicon validation Prototype FPGA prototype Field-programmable gate array System on a chip Transaction-level modeling Electronic engineering Electronic design automation Electronic design
23	Tech Digest Figure Template_2 column_01-06-12 Add to Reading List Source URL: www.jhuapl.edu Language: English - Date: 2013-09-26 17:14:49 Concurrency control Predicate logic Programming paradigms Transaction processing Linearizability Logic programming First-order logic Parallel computing Extensible Storage Engine Logic Mathematical logic Mathematics
24	Transaction Facilitator E1 Medicare Eligibility Matching Logic Pharmacy Submission Requirements The eligibility inquiry (E1) transaction submitted to the Transaction Facilitator by the pharmacy must include population of Add to Reading List Source URL: media.relayhealth.com Language: English - Date: 2013-03-25 10:04:56 ZIP code Match Technology
25	∗ I Do Declare: Consensus in a Logic Language Peter Alvaro Tyson Condie Neil Conway Add to Reading List Source URL: netdb09.cis.upenn.edu Language: English - Date: 2009-08-12 10:02:51 Information Transaction processing Data management Two-phase commit protocol Distributed algorithms Data synchronization Paxos Consensus Replication Fault-tolerant computer systems Computing Data
26	PINAPA: An Extraction Tool for SystemC Descriptions of Systems-on-a-Chip ∗† Matthieu Moy [removed] Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2005-09-08 19:36:32 Logic design Electronic design automation SystemC Transaction-level modeling NCSim CPU design E Verilog VHDL Electronic engineering Hardware description languages Hardware verification languages
27	FORMALIZATION AND VERIFICATION OF SHARED MEMORY Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-01-05 10:38:15 Theoretical computer science Concurrent computing Formal methods Consistency model Transaction processing Sequential consistency Actor model Parallel computing Formal verification Computing Data Logic in computer science
28	Confirmation of Deadlock Potentials Detected by Runtime Analysis Saddek Bensalem Add to Reading List Source URL: www.havelund.com Language: English - Date: 2006-06-05 17:22:17 Theoretical computer science Concurrency Software bugs Logic in computer science Transaction processing Deadlock Lock Parallel computing Thread Computing Concurrency control Computer programming
29	Compiling Concurrency Correctly Verifying Software Transactional Memory Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-07-27 06:01:07 Transaction processing Concurrency control Programming language semantics Logic in computer science Programming language implementation Denotational semantics Software transactional memory Transactional memory Haskell Computing Software engineering Theoretical computer science
30	PDF Document Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2010-01-19 06:22:13 SystemC Logic simulation Simulation Full system simulator Transaction-level modeling Catapult C Electronic engineering Digital electronics Electronic design automation

UPDATE